search for books and compare prices
displaying 1 to 1 |
at end
Stefan Szeider
(3)
Works include:
Parameterized and Exact Computation: 8th International Symposium, Ipec 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers;
Computational Models of Argument: Proceedings of COMMA 2012 and
Theory and Applications of Satisfiability Testing-SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 Proceedings
displaying 1 to 1 |
at end